@book{s7-200-manual,
        author = "{Siemens}",
        title = "S7-200 Programmable Controller System Manual",
        publisher = "Siemens",
        address = "",
        year = "2003"
}

@unpublished{cg_Coq_PLC,
        author = "Gang Chen",
        title = "The Verification and Analysis of {PLC} Programs Using Coq Proof Assistant",
        note = "Research Report RPT-2008-1, available at
        \texttt{www.lingcore.com/reports.html}",
}

@book{CoqArt,
        author = "Bertot, Yves and Cast\'eran, Pierre",
        title = "Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions",
        publisher = "Springer",
        year = "2004"
}

@book{IEEC61131-3,
        author = "{IEC International Standard 1131-3}",
        title = "Programmable Controllers, Part 3: Programming Languages",
        year = "1993"
}

@INPROCEEDINGS{Mader00aclassification,
    author = {Angelika Mader},
    title = {A classification of {PLC} models and applications},
    booktitle = {In WODES 2000: 5th Workshop on Discrete Event Systems},
    year = {2000},
    pages = {21--23},
    publisher = {Kluwer Academic Publishers}
}

@article{DBLP:journals/rts/KramerV97,
  author    = {Bernd J. Kr{\"a}mer and
               Norbert V{\"o}lker},
  title     = {A Highly Dependable Computing Architecture for Safety-Critical
               Control Applications},
  journal   = {Real-Time Systems},
  volume    = {13},
  number    = {3},
  year      = {1997},
  pages     = {237-251},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{ModellingPLCLV,
  author    = {I. Moon},
  title     = {Modelling programmable logic controllers for logic verification},
  journal   = {IEEE Control Systems Magazine},
  volume    = {14},
  number    = {2},
  year      = {1994},
  pages     = {53-59},
}

@INPROCEEDINGS{Mader99timedautomaton,
    author = {Angelika Mader and Hanno Wupper},
    title = {Timed automaton models for simple programmable logic controllers},
    booktitle = {Proceedings of the Euromicro Conference on Real-Time Systems},
    year = {1999},
    pages = {114--122},
    publisher = {IEEE Computer Society}
}

@inproceedings{ProvingSequentialFunctionChartProgramsUsingAutomata,
 author = {Dominique L'Her and Philippe Le Parc and Lionel Marc\'{e}},
 title = {Proving Sequential Function Chart Programs Using Automata},
 booktitle = {WIA '98: Revised Papers from  the Third International Workshop on Automata Implementation},
 year = {1999},
 isbn = {3-540-66652-4},
 pages = {149--163},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{SynSignalModelPLC,
 author = {Fernando Jim\'{e}nez-Fraustro and Eric Rutten},
 title = {A Synchronous Model of IEC 61131 {PLC} Languages in SIGNAL},
 booktitle = {ECRTS '01: Proceedings of the 13th Euromicro Conference on Real-Time Systems},
 year = {2001},
 pages = {135},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }


@article{dierks01plcautomata,
    author = "Henning Dierks",
    title = "{PLC}-automata: a new class of implementable real-time automata",
    journal = "Theoretical Computer Science",
    volume = "253",
    number = "1",
    pages = "61--93",
    year = "2001",
    url = "citeseer.ist.psu.edu/dierks97plcautomata.html" }

@MastersThesis{NBauer:Thesis:1998,
    author     =     {N. Bauer},
    title     =     {\"Ubersetzung von Steuerungsprogrammen in formale Modelle},
    school     =     {University of Dortmund},
    year     =     {1998},
}
